CurryHoward correspondence - PDFSEARCH.IO - Document Search Engine

CurryHoward correspondence
Results: 45

#	Item
41	The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA. Add to Reading List Source URL: openwall.info Language: English - Date: 2014-10-13 00:40:06 Theoretical computer science Formal methods Computer science Software engineering Logic in computer science Dependently typed programming Proof assistants Proof-carrying code Formal verification Mathematical proof CurryHoward correspondence Algorithm
42	Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:34 Type theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Role-based access control Valuation Subtyping Monad CurryHoward correspondence
43	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
44	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
45	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction